Project Acronym : HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models

نویسنده

  • Keiko Nakata
چکیده

method contracts are fully compatible with contract deltas, with the restriction that assignable clauses may not be changed. The only difference is that all changes specified in a delta are acted upon in the definition section of an abstract contract—the abstract section remains completely unchanged. In our example, the application of the delta in Fig. 2.7 results in an abstract contract with two specification cases,

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Project Acronym : HATS Project Title : Highly Adaptable and Trustworthy Software using Formal Models

Long-lived, dependable systems evolve during their life time: new functionality is added, errors are discovered, new requirements appear, etc. It is often infeasible to stop and redeploy a system in order to upgrade it, due to the associated downtime. A system that can adapt to changes dynamically is more dependable. In this paper we present dynamic ABS: to cope with the need to modify ABS code...

متن کامل

HATS: Highly Adaptable and Trustworthy Software Using Formal Methods

The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand on trustworthiness. Existing modeling formalisms leave gap between highly abstract, largely structural models and executable code on the implementation level. In HATS we aim to close this gap with an object-oriented,...

متن کامل

HATS: Highly Adaptable and Trustworthy Software using Formal Models

behavioral HATS ABS language Specification level Languages Figure 1: Positioning of the HATS ABS language.

متن کامل

HATS - A Formal Software Product Line Engineering Methodology

Trust in software is typically achieved via stabilisation efforts over long periods of use. Adaptation to changing circumstances, however, often requires substantial change of the software. Changing a software system using standard manufacturing processes often results in quality regressions, invalidating trust. Formal methods provide means to guarantee various properties of a software system t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013